『Lectures on the Curry-Howard Isomorphism』
どうも2種類ある。
Title: Lectures on the Curry-Howard Isomorphis
Author: Morten Heine Sørensen
Publish: 2013
DOI:
https://doi.org/10.1016/S0049-237X(06)X8001-1
Academia.edu:
(PDF) Lectures on the Curry-Howard Isomorphism
印刷に5480円もかかったのでちゃんと読みたい
#カリー＝ハワード対応
#論文読み
#論文
#文献